11![Designing a verifying compiler: Lessons learned from developing Whiley Designing a verifying compiler: Lessons learned from developing Whiley](https://www.pdfsearch.io/img/37fdf8e3cad8eeb1b988bf5623fc938d.jpg) | Add to Reading ListSource URL: homepages.ecs.vuw.ac.nzLanguage: English - Date: 2015-11-05 20:25:54
|
---|
12![Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def
specialized[T:
ClassTag](code:
=>
Any)
=
macro
...
def
createArray[T:
ClassTag](size:
Int,
e Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def
specialized[T:
ClassTag](code:
=>
Any)
=
macro
...
def
createArray[T:
ClassTag](size:
Int,
e](https://www.pdfsearch.io/img/ebd125a509c268608346088556d45f09.jpg) | Add to Reading ListSource URL: scalamacros.orgLanguage: English - Date: 2016-08-18 07:56:24
|
---|
13![WG14
N1475
INCITS
PL22.11/09-‐0002
Reply
to
the
Attention
of:
Barry
Hedquist
Email:
WG14
N1475
INCITS
PL22.11/09-‐0002
Reply
to
the
Attention
of:
Barry
Hedquist
Email:](https://www.pdfsearch.io/img/21a2500e9d8649d7fb6fcc3f80bec69d.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2010-06-27 14:32:08
|
---|
14![User
Manual
for
Scribe
3.0
User
Manual
for
Scribe
3.0](https://www.pdfsearch.io/img/96c5e73dad64fef1df8b135178a88cff.jpg) | Add to Reading ListSource URL: brainmap.orgLanguage: English - Date: 2015-02-11 12:41:17
|
---|
15![Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY](https://www.pdfsearch.io/img/29e55c22aed6754cff82fc09b6c2d209.jpg) | Add to Reading ListSource URL: www.math.purdue.eduLanguage: English - Date: 2010-01-13 17:46:38
|
---|
16![TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1 TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1](https://www.pdfsearch.io/img/20ac091c38ad201fb0b17b28c217ce84.jpg) | Add to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2014-03-06 06:36:07
|
---|
17![Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016 Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016](https://www.pdfsearch.io/img/4df5f121a3713a3c2479dd6caa0249f2.jpg) | Add to Reading ListSource URL: lirias.kuleuven.beLanguage: English - Date: 2016-01-16 02:32:56
|
---|
18![Modern Scientific Software Management Using EasyBuild and Lmod Markus Geimer Kenneth Hoste Modern Scientific Software Management Using EasyBuild and Lmod Markus Geimer Kenneth Hoste](https://www.pdfsearch.io/img/2182cf9aa98ff2e75609fd3ef15bccd7.jpg) | Add to Reading ListSource URL: hpcugent.github.ioLanguage: English - Date: 2016-07-13 10:13:53
|
---|
19![Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp
Thanks To Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp
Thanks To](https://www.pdfsearch.io/img/9b456de2b0e4c4e9b592bfe3a3d7a259.jpg) | Add to Reading ListSource URL: wgropp.cs.illinois.eduLanguage: English - Date: 2015-04-27 09:35:02
|
---|
20![Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: & Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &](https://www.pdfsearch.io/img/c3f9422992b709af0c1ec5f33c8e724f.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:53
|
---|